#include<bits/stdc++.h>
using namespace std;
int main(){
int t=1;
//cin>>t;
int s=t;
while(t--){
int n,v;
cin>>n>>v;
int ar[10000]={0};
int a,b;
int maxi=INT_MIN;
for(int i=0;i<n;i++){
cin>>a>>b;
maxi=max(a,maxi);
ar[a]=ar[a]+b;
}
int f=0;
for(int i=1;i<maxi+2;i++){
if(ar[i]<=v){
f=f+ar[i];
}
else if(ar[i]>v&&ar[i]<=v*2){
f=f+v;
ar[i+1]=ar[i+1]+(ar[i]-v);
}
else{
f=f+v;
ar[i+1]=ar[i+1]+v;
}
}
cout<<f<<endl;
}
return 0;
}
1428B - Belted Rooms | 519B - A and B and Compilation Errors |
1152B - Neko Performs Cat Furrier Transform | 1411A - In-game Chat |
119A - Epic Game | 703A - Mishka and Game |
1504C - Balance the Bits | 988A - Diverse Team |
1312B - Bogosort | 1616B - Mirror in the String |
1660C - Get an Even String | 489B - BerSU Ball |
977C - Less or Equal | 1505C - Fibonacci Words |
1660A - Vasya and Coins | 1660E - Matrix and Shifts |
1293B - JOE is on TV | 1584A - Mathematical Addition |
1660B - Vlad and Candies | 1472C - Long Jumps |
1293D - Aroma's Search | 918A - Eleven |
1237A - Balanced Rating Changes | 1616A - Integer Diversity |
1627B - Not Sitting | 1663C - Pōja Verdon |
1497A - Meximization | 1633B - Minority |
688B - Lovely Palindromes | 66B - Petya and Countryside |